<?php
array ($a)